w{-}Msg($w$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Msg($w$.M)